On Σ1-structural Differences among Ershov Hierarchies
نویسندگان
چکیده
We show that the structure R of recursively enumerable degrees is not a Σ1-elementary substructure of Dn, where Dn (n > 1) is the structure of n-r.e. degrees in Ershov hierarchy.
منابع مشابه
Elementary Differences among Finite Levels of the Ershov Hierarchy
We study the differences among finite levels of the Ershov hierarchies. We also give a brief survey on the current state of this area. Some questions are raised.
متن کاملMetapredicative Subsystems of Analysis
In this paper we present some metapredicative subsystems of analysis. We deal with reflection principles, ω-model existence axioms (limit axioms) and axioms asserting the existence of hierarchies. We show several equivalences of the introduced subsystems. In particular we prove the equivalence of Σ1 transfinite dependent choice and Π 1 2 reflection on ω-models of Σ1-DC.
متن کاملTotal objects in inductively defined types
In Kristiansen and N ormann [7] we defined two hierarchies of "types" . In both hierarchies we started with the set of natural numbers and the set of boolean values as base types, and we closed under certain dependent sums and dependent products. The difference between the two hierarchies in [7] is that one is based on coherence spaces and stability (see Girard [4] ), while the other is based o...
متن کاملEfficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were previously not known. We develop new forbidden-chain characterizations for the single levels of these hierarchies and obtain the following results: • The classes of the Boolean hierarchy over level Σ1 of the dot-depth hie...
متن کاملA Study on the Value Systems of the Fourth Region of the I.A.U
This paper aims to study and examine the value systems among the students region of Islamic Azad universities. The population includes all students in academic year 2008-9 among whom 400 ones were selected from 10 universities as a sample. The students' value hierarchies were examined using Alpourt 45- item questionnaire(A.V.L). Descriptive and t-inferential statistics and multivariate variance...
متن کامل